41![Regulation of Drones Australia • Canada • China • France • Germany • Israel Japan • New Zealand • Poland • South Africa Sweden • Ukraine • United Kingdom European Union Regulation of Drones Australia • Canada • China • France • Germany • Israel Japan • New Zealand • Poland • South Africa Sweden • Ukraine • United Kingdom European Union](https://www.pdfsearch.io/img/ed1de27d2855867b78a0988405e73bf7.jpg) | Add to Reading ListSource URL: www.loc.govLanguage: English - Date: 2017-12-15 15:56:24
|
---|
42![The Semantics of a Simple Language for Parallel Programming Gilles KAHN IRIA-Laboria, Domaine de Voluceau, 78150 Rocquencourt, France and Commissariat à l’Energie Atomique, France The Semantics of a Simple Language for Parallel Programming Gilles KAHN IRIA-Laboria, Domaine de Voluceau, 78150 Rocquencourt, France and Commissariat à l’Energie Atomique, France](https://www.pdfsearch.io/img/246eefa06cdccba5379d7f05fb700749.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2010-09-20 10:06:48
|
---|
43![Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods? Olivier Bouissou1 , Alexandre Chapoutot2 and Adel Djoudi2 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette, France Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods? Olivier Bouissou1 , Alexandre Chapoutot2 and Adel Djoudi2 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette, France](https://www.pdfsearch.io/img/f89378a69d3f61d709c0395ff114bf2a.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2013-04-29 03:43:32
|
---|
44![Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France](https://www.pdfsearch.io/img/5bed8c44d9c7b185c0a268d0014f7a45.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2012-12-19 06:23:54
|
---|
45![Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France](https://www.pdfsearch.io/img/f862a08768251031f7cd625f7f213786.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:12
|
---|
46![Practical improvements to class group and regulator computation of real quadratic fields Jean-Fran¸cois Biasse1 and Michael J. Jacobson, Jr.2? ´ Ecole Polytechnique, 91128 Palaiseau, France Practical improvements to class group and regulator computation of real quadratic fields Jean-Fran¸cois Biasse1 and Michael J. Jacobson, Jr.2? ´ Ecole Polytechnique, 91128 Palaiseau, France](https://www.pdfsearch.io/img/cf4e15a1dc6ee9979a3e77f19837030a.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2014-09-02 14:57:05
|
---|
47![](/pdf-icon.png) | Add to Reading ListSource URL: www.college-culinaire-de-france.fr- Date: 2017-11-16 12:19:31
|
---|
48![](/pdf-icon.png) | Add to Reading ListSource URL: www.societe-informatique-de-france.fr- Date: 2017-11-08 06:40:11
|
---|
49![](/pdf-icon.png) | Add to Reading ListSource URL: www.krishnamurti-france.org- Date: 2008-02-08 16:48:30
|
---|
50![](/pdf-icon.png) | Add to Reading ListSource URL: www.college-de-france.fr- Date: 2015-10-15 10:14:42
|
---|